Herr Richard Strauss

Lieber Herr Bernays ! , Lieber

1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, const...

Brown , Rodger Kram and Hugh Herr

physiology, especially those papers emphasizing adaptive and integrative mechanisms. It is published 12 times a publishes original papers that deal with diverse area of research in applied

Remembering Richard [Obituary, Richard A.Newton]

Churg-Strauss syndrome.

Strauss: a Specification Miner

Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...